\appendix
\chapter{CD contents}

\begin{lstlisting}
Data
		Lock order graphs and call graphs presented in the
		"Testing and experimental results" chapter

Reports
		Weekly reports of the work progress

Software\NoDeadlock.Net\GmlParser
		Parser for graph markup language (GML)

Software\NoDeadlock.Net\GmlToSea
		Convertor from GML to SEA graph format

Software\NoDeadlock.Net\GraphInspector
		Library implementing GUI inspector for graphs 

Software\NoDeadlock.Net\LockGraphAnalyzer
		Tool for analyzing lock order graphs

Software\NoDeadlock.Net\LovePrototype
		Tool for generating lock order graphs from .NET
		applications

Software\NoDeadlock.Net\Mono.Cecil
		Mono.Cecil library

Software\NoDeadlock.Net\QuickGraph
		QuickGraph library

Software\NoDeadlock.Net\StaticAnalysis
		Library implementing static analysis framework

Software\Tests
		Test cases for verifying the functionality of the tools

Thesis
		Thesis text
\end{lstlisting}
